1. An introduction to discrete mathematics and formal system specification
پدیدآورنده : Ince, Darrel
موضوع : ، Computer science - Mathematics,، System design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، System design
رده :
QA
76
.
9
.
M35I53
1992
3. Mechanical intelligence
پدیدآورنده : Turing, Alan Mathison, 2191-4591
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Artificial intelligence
رده :
Q
335
.
5
.
T87
